/*
 * kernel.h
 *
 *  Created on: 23/02/2010
 *      Author: gustavo
 */

#ifndef KERNEL_H_
#define KERNEL_H_


#include "FreeRTOS.h"
#include "croutine.h"
#include "list.h"
#include "queue.h"
#include "semphr.h"
#include "task.h"


#define kernel_FreeRTOS_init()


#endif /* KERNEL_H_ */
